Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
861	Qubits and invariant theory Ronald C King School of Mathematics, University of Southampton Southampton, SO17 1BJ, England QTS-4 Varna, Bulgaria: August, 2005 Add to Reading List Source URL: www.personal.soton.ac.uk Language: English - Date: 2005-08-09 10:54:56 Mathematics Models of computation Qubit Quantum computer Invariant theory Invariant Theoretical computer science Quantum information science Applied mathematics
862	HC17.S2T3 High-Performance Pattern-Matching Engine for Intrusion Detection.ppt Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 23:45:52 Hash function Field-programmable gate array Computer science Electronics Applied mathematics Models of computation Automata theory Finite-state machine
863	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science
864	Intensional Polymorphism in Type-Erasure Semantics Karl Crary Stephanie Weirich Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:51 Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Mathematical logic Computer science
865	What’s the base case? 13 How Recursion Works Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:16 Programming idioms Computability theory Recursion Theory of computation Subroutines Computer programming Software engineering Computing
866	A Core Calculus of Dependency Mart´ın Abadi Systems Research Center Compaq [removed] Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2003-11-05 23:04:29 Models of computation Logic in computer science Deduction Symbol Entailment Denotational semantics Lambda calculus Model theory Dependence analysis Logic Theoretical computer science Metalogic
867	Microsoft Word - ec_problems_2009_v7.doc Add to Reading List Source URL: ch24.org Language: English - Date: 2010-12-16 06:08:01 Software engineering Matrix State space C Quantum circuit Programming language theory Quantum information science Computing Models of computation
868	Using JFLAP to Interact with Theorems in Automata Theory Eric Gramond and Susan H. Rodger Duke University, Durham, NC [removed] Abstract Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1999-01-05 11:27:33 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Computability Deterministic pushdown automaton Context-free language Pushdown automaton Automata theory Models of computation Theoretical computer science
869	Sharing Aggregate Computation for Distributed Queries Ryan Huebsch, Minos Garofalakis, Joseph M. Hellerstein, and Ion Stoica University of California at Berkeley, Intel Research Berkeley & Yahoo! Research ABSTRACT An eme Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2007-09-13 17:09:38 Numerical linear algebra Matrix theory Rank Singular value decomposition Matrix LU decomposition Gaussian elimination QR algorithm Bin Algebra Linear algebra Mathematics
870	Logic in question L. De Mol When the bubble of symbolic logic finally burst. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-24 06:40:44 Computer science Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Logic Algorithm Computability Computability theory Theoretical computer science Mathematics

UPDATE